sum($f$($x$) $\mid$ $x$ $<$ $k$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$primrec($k$;0;$\lambda$$x$,$n$. $n$+$f$($x$))